Optimal. Leaf size=165 \[ -\frac {2 \sqrt {c f-d e} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} \Pi \left (-\frac {b (d e-c f)}{(b c-a d) f};\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {c f-d e}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{\sqrt {f} \sqrt {e+f x} \sqrt {g+h x} (b c-a d)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.37, antiderivative size = 165, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 35, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.086, Rules used = {169, 538, 537} \[ -\frac {2 \sqrt {c f-d e} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} \Pi \left (-\frac {b (d e-c f)}{(b c-a d) f};\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {c f-d e}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{\sqrt {f} \sqrt {e+f x} \sqrt {g+h x} (b c-a d)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 169
Rule 537
Rule 538
Rubi steps
\begin {align*} \int \frac {1}{(a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx &=-\left (2 \operatorname {Subst}\left (\int \frac {1}{\left (b c-a d-b x^2\right ) \sqrt {e-\frac {c f}{d}+\frac {f x^2}{d}} \sqrt {g-\frac {c h}{d}+\frac {h x^2}{d}}} \, dx,x,\sqrt {c+d x}\right )\right )\\ &=-\frac {\left (2 \sqrt {\frac {d (e+f x)}{d e-c f}}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (b c-a d-b x^2\right ) \sqrt {1+\frac {f x^2}{d \left (e-\frac {c f}{d}\right )}} \sqrt {g-\frac {c h}{d}+\frac {h x^2}{d}}} \, dx,x,\sqrt {c+d x}\right )}{\sqrt {e+f x}}\\ &=-\frac {\left (2 \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (b c-a d-b x^2\right ) \sqrt {1+\frac {f x^2}{d \left (e-\frac {c f}{d}\right )}} \sqrt {1+\frac {h x^2}{d \left (g-\frac {c h}{d}\right )}}} \, dx,x,\sqrt {c+d x}\right )}{\sqrt {e+f x} \sqrt {g+h x}}\\ &=-\frac {2 \sqrt {-d e+c f} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} \Pi \left (-\frac {b (d e-c f)}{(b c-a d) f};\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {-d e+c f}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{(b c-a d) \sqrt {f} \sqrt {e+f x} \sqrt {g+h x}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 1.40, size = 226, normalized size = 1.37 \[ \frac {2 i (c+d x) \sqrt {\frac {d (e+f x)}{f (c+d x)}} \sqrt {\frac {d (g+h x)}{h (c+d x)}} \left (\operatorname {EllipticF}\left (i \sinh ^{-1}\left (\frac {\sqrt {\frac {d e}{f}-c}}{\sqrt {c+d x}}\right ),\frac {d f g-c f h}{d e h-c f h}\right )-\Pi \left (-\frac {b c f-a d f}{b d e-b c f};i \sinh ^{-1}\left (\frac {\sqrt {\frac {d e}{f}-c}}{\sqrt {c+d x}}\right )|\frac {d f g-c f h}{d e h-c f h}\right )\right )}{\sqrt {e+f x} \sqrt {g+h x} (a d-b c) \sqrt {\frac {d e}{f}-c}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: AttributeError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 223, normalized size = 1.35 \[ \frac {2 \sqrt {d x +c}\, \sqrt {f x +e}\, \sqrt {h x +g}\, \sqrt {\frac {\left (d x +c \right ) f}{c f -d e}}\, \sqrt {-\frac {\left (h x +g \right ) d}{c h -d g}}\, \sqrt {-\frac {\left (f x +e \right ) d}{c f -d e}}\, \left (c f -d e \right ) \EllipticPi \left (\sqrt {\frac {\left (d x +c \right ) f}{c f -d e}}, -\frac {\left (c f -d e \right ) b}{\left (a d -b c \right ) f}, \sqrt {\frac {\left (c f -d e \right ) h}{\left (c h -d g \right ) f}}\right )}{\left (a d -b c \right ) \left (d f h \,x^{3}+c f h \,x^{2}+d e h \,x^{2}+d f g \,x^{2}+c e h x +c f g x +d e g x +c e g \right ) f} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{{\left (b x + a\right )} \sqrt {d x + c} \sqrt {f x + e} \sqrt {h x + g}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int \frac {1}{\sqrt {e+f\,x}\,\sqrt {g+h\,x}\,\left (a+b\,x\right )\,\sqrt {c+d\,x}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{\left (a + b x\right ) \sqrt {c + d x} \sqrt {e + f x} \sqrt {g + h x}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________